Una dualidad topológica para álgebras de boole bitopológicas
نویسندگان
چکیده
Las Álgebras de Boole Topológicas, llamadas también “Álgebras Interiores” o “Álgebras de Clausura”, fueron estudiadas por Tarski [5] y Naturman [2]. Los Espacios Bitopológicos, a su vez, fueron estudiados por [1]. En [3], se presentan las Álgebras de Boole Bitopológicas, que relacionan y generalizan naturalmente las estructuras anteriormente mencionadas. Entre otras aplicaciones, permiten dar un enfoque topológico a la completación de Dedekind-MacNeille de Álgebras de Heyting [4]. Definiremos explícitamente Funtores que establecen una equivalencia natural entre las categorías de Álgebras de Boole Bitopológicas y las de ciertos Espacios Topológicos.
منابع مشابه
Teoŕıa de la forma y sistemas dinámicos II
En este trabajo expositivo se presentan algunas relaciones entre las dos ramas de las matemáticas mencionadas en el t́ıtulo. En particular, mostramos algunas propiedades cohomológicas de la descomposición “non-saddle” de un ANR compacto. También se presenta un estudio, basado en la teoŕıa de la forma, de los entornos aislantes de conjuntos invariantes aislados, del cual se obtiene una caracteriz...
متن کاملDesarrollo de una arquitectura orientada a servicios para un prototipo de una línea de productos de Software
Resumen. Una arquitectura orientada a servicios o SOA (Service Oriented Architecture) es una arquitectura de software que proporciona servicios que corresponden a funcionalidad de negocio reutilizable a través de interfaces bien definidas. SOA surge ante la necesidad de poder emplear funcionalidad ya disponible en sistemas heterogéneos distribuidos. Para desarrollar una SOA, existen diversas op...
متن کاملPropuesta de una Metodología para la Selección de Materiales en una Biblioteca Digital en el Ámbito Universitario
Resumen. La proliferación de recursos digitales en la World Wide Web y la importancia de este medio en el ámbito universitario hacen imprescindible que las bibliotecas se planteen una metodología para la selección de estos materiales. Esta selección se basa en el establecimiento de una política general y en la evaluación de los recursos. Proponemos una metodología y un listado ordenado de crite...
متن کاملModelado de Negocio Interorganizacional: Una Aproximación para la Trazabilidad entre Objetivos, Modelos Organizacionales y Procesos de Negocio
Resumen El principal objetivo del modelado de negocio es comprender el funcionamiento de las empresas para poder aportar soluciones software de alto valor añadido. Sin embargo, esta es una tarea que dista mucho de ser trivial, y se torna más compleja cuando lo que se modela no es una organización aislada sino varias organizaciones que interactúan entre śı. Las propuestas sugeridas para el model...
متن کاملObtención de descripciones significativas para una memoria corporativa
Resumen. En el presente artículo mostramos una metodología y una serie de pruebas para obtener descripciones significativas para los recursos de tipo documento de una memoria corporativa. Este enfoque se centra en la extracción de las características relevantes relacionadas al contenido de documentos. De este proceso se pueden obtener elementos que pueden servir como parte de índices de informa...
متن کامل